Nuprl Definition : dset_of_mon
13,42
postcript
pdf
g
set == <|
g
|, =
,
>
latex
clarification:
g
set == <|
g
|, =
g
,
g
>
latex
Up
groups
1
Wellformedness Lemmas
dset
of
mon
wf0
,
dset
of
mon
wf
,
dset
of
mon
wf2
Definitions
|
g
|
,
=
,
origin
set == <|g|, =
, 
>
set == <|g|, =g, g> set == <|g|, =, >
set == <|g|, =g, g>